O ine Narrowing - Driven Specialization in Practice ∗
نویسندگان
چکیده
O ine narrowing-driven partial evaluation is a recent technique for the specialization of functional and functional logic programs. In this work, we describe novel control strategies that can be used to design a powerful narrowingdriven partial evaluator.
منابع مشابه
O ine narrowing - driven partial evaluation ∗
Narrowing-driven partial evaluation (NPE) is a powerful technique for the specialization of rewrite systems. Although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process o ine. For this purpose, we rst characterize a cl...
متن کاملOpportunities for Online Partial Evaluation
Partial evaluators can be separated into two classes: o ine specializers, which make all of their reduce/residualize decisions before specialization, and online specializers, which make such decisions during specialization. The choice of which method to use is driven by a tradeo between the e ciency of the specializer and the quality of the residual programs that it produces. Existing research ...
متن کاملLuminescence and Fluorescence Line Narrowing Studies of Chromium Doped Glass
The technique of fluorescence l ine narrowing i s applied t o the TE 4A2 transition on Cr3+ ions in ED-2 glass. The resultant sharp zero-phonon l ine is accompanied by a vibrational sideband which carries information about the range of vibrational modes of the glass. The homogeneous broadening of the zero-phonon l ine is measured as a function of temperature.
متن کاملAHybrid Approach to Online and O ine Partial Evaluation
This article presents a hybrid method of partial evaluation (PE), which is exactly as precise as naive online PE and nearly as e cient as state-of-the-art o ine PE, for a statically typed call-by-value functional language. PE is a program transformation that specializes a program with respect to a subset of its input by reducing the program and leaving a residual program. Online PE makes the re...
متن کاملTrends in Specialization of Interpreters using Offline Narrowing-Driven Partial Evaluation
The search of compilation by specialization of interpreters is a source to source program transformation which has inspired the work of scientists in partial evaluation from many years ago. Narrowing-driven Partial Evaluation (NPE) is a powerful technique for the specialization of functional logic programs. Recent advances in research of offline NPE schemes allow us to develop partial evaluator...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007